Playing Muller Games in a Hurry

This work studies the following question: can plays in a Muller game be stopped after a finite number of moves and a winner be declared. A criterion to do this is sound if Player 0 wins an infinite-duration Muller game if and only if she wins the finite-duration version. A sound criterion is presented that stops a play after at most 3^n moves, where n is the size of the arena. This improves the bound (n!+1)^n obtained by McNaughton and the bound n!+1 derived from a reduction to parity games

Synthesis of satellite (MODIS), aircraft (ICARTT), and surface (IMPROVE, EPA-AQS, AERONET) aerosol observations over eastern North America to improve MODIS aerosol retrievals and constrain surface aerosol concentrations and sources

We use an ensemble of satellite (MODIS), aircraft, and ground-based aerosol observations during the ICARTT field campaign over eastern North America in summer 2004 to (1) examine the consistency between different aerosol measurements, (2) evaluate a new retrieval of aerosol optical depths (AODs) and inferred surface aerosol concentrations (PM2.5) from the MODIS satellite instrument, and (3) apply this collective information to improve our understanding of aerosol sources. The GEOS-Chem global chemical transport model (CTM) provides a transfer platform between the different data sets, allowing us to evaluate the consistency between different aerosol parameters observed at different times and locations. We use an improved MODIS AOD retrieval based on locally derived visible surface reflectances and aerosol properties calculated from GEOS-Chem. Use of GEOS-Chem aerosol optical properties in the MODIS retrieval not only results in an improved AOD product but also allows quantitative evaluation of model aerosol mass from the comparison of simulated and observed AODs. The aircraft measurements show narrower aerosol size distributions than those usually assumed in models, and this has important implications for AOD retrievals. Our MODIS AOD retrieval compares well to the ground-based AERONET data (R = 0.84, slope = 1.02), significantly improving on the MODIS c005 operational product. Inference of surface PM2.5 from our MODIS AOD retrieval shows good correlation to the EPA-AQS data (R = 0.78) but a high regression slope (slope = 1.48). The high slope is seen in all AOD-inferred PM2.5 concentrations (AERONET: slope = 2.04; MODIS c005: slope = 1.51) and could reflect a clear-sky bias in the AOD observations. The ensemble of MODIS, aircraft, and surface data are consistent in pointing to a model overestimate of sulfate in the mid-Atlantic and an underestimate of organic and dust aerosol in the southeastern United States. The sulfate overestimate could reflect an excessive contribution from aqueous-phase production in clouds, while the organic carbon underestimate could possibly be resolved by a new secondary pathway involving dicarbonyls

Is healthy behavior contagious: associations of social norms with physical activity and healthy eating

BackgroundSocial norms are theoretically hypothesized to influence health-related behaviors such as physical activity and eating behaviors. However, empirical evidence relating social norms to these behaviors, independently of other more commonly-investigated social constructs such as social support, is scarce and findings equivocal, perhaps due to limitations in the ways in which social norms have been conceptualized and assessed. This study investigated associations between clearly-defined social norms and a range of physical activity and eating behaviors amongst women, adjusting for the effects of social support. MethodsSelf-report survey data about particular physical activity (leisure-time moderate-vigorous activity; volitional walking; cycling for transport) and eating behaviors (fast food, soft drink and fruit and vegetable consumption), and social norms and support for these, were provided by 3,610 women aged 18-46 years living in socioeconomically disadvantaged neighborhoods in Victoria, Australia. ResultsResults of regression analyses showed that social norms for physical activity and eating behaviors predicted these respective behaviors relatively consistently; these associations generally remained significant after adjustment for social support. ConclusionsAcknowledging the cross-sectional study design, these data confirm theoretical accounts of the importance of social norms for physical activity and eating behaviors, and suggest that this is independent from social support. Intervention strategies aimed at promoting physical activity and healthy eating could incorporate strategies aimed at modifying social norms relating to these behaviors.<br /

Infinite games played on finite graphs

AbstractThe concept of an infinite game played on a finite graph is perhaps novel in the context of an rather extensive recent literature in which infinite games are generally played on an infinite game tree. We claim two advantages for our model, which is admittedly more restrictive. First, our games have a more apparent resemblance to ordinary parlor games in spite of their infinite duration. Second, by distinguishing those nodes of the graph that determine the winning and losing of the game (winning-condition nodes), we are able to offer a complexity analysis that is useful in computer science applications

No effect of n - 3 long-chain polyunsaturated fatty acid (EPA and DHA) supplementation on depressed mood and cognitive function : a randomised controlled trial

Low dietary intakes of the n-3 long-chain PUFA (LCPUFA) EPA and DHA are thought to be associated with increased risk for a variety of adverse&nbsp; outcomes, including some psychiatric disorders. Evidence from&nbsp; observational and intervention studies for a role of n-3 LCPUFA in depression is mixed, with some support for a benefit of EPA and/or DHA in major depressive illness. The present study was a double-blind randomised controlled trial that evaluated the effects of EPA+DHA supplementation (1.5 g/d) on mood and cognitive function in mild to moderately depressed&nbsp; individuals. Of 218 participants who entered the trial, 190 completed the planned 12 weeks intervention. Compliance, confirmed by plasma fatty acid concentrations, was good, but there was no evidence of a difference between supplemented and placebo groups in the primary outcome - namely, the depression subscale of the Depression Anxiety and Stress Scales at 12 weeks. Mean depression score was 8.4 for the EPA+DHA group and 9.6 for the placebo group, with an adjusted difference of - 1.0 (95 % CI - 2.8, 0.8; P = 0.27). Other measures of mood, mental health and cognitive function, including Beck Depression Inventory score and attentional bias toward threat words, were similarly little affected by the intervention. In conclusion, substantially increasing EPA+DHA intake for 3 months was found not to have beneficial or harmful effects on mood in mild to moderate depression. Adding the present result to a meta-analysis of previous relevant randomised controlled trial results confirmed an overall negligible benefit of n-3 LCPUFA supplementation for depressed mood.<br /

Outgassing of Ordinary Chondritic Material and Some of its Implications for the Chemistry of Asteroids, Planets, and Satellites

We used chemical equilibrium calculations to model thermal outgassing of ordinary chondritic material as a function of temperature, pressure, and bulk compositions and use our results to discuss outgassing on asteroids and the early Earth. The calculations include ~1,000 solids and gases of the elements Al, C, Ca, Cl, Co, Cr, F, Fe, H, K, Mg, Mn, N, Na, Ni, O, P, S, Si, and Ti. The major outgassed volatiles from ordinary chondritic material are CH4, H2, H2O, N2, and NH3(the latter at conditions where hydrous minerals form). Contrary to widely held assumptions, CO is never the major C-bearing gas during ordinary chondrite metamorphism. The calculated oxygen fugacity (partial pressure) of ordinary chondritic material is close to that of the quartz-fayalite-iron (QFI) buffer. Our results are insensitive to variable total pressure, variable volatile element abundances, and kinetic inhibition of C and N dissolution in Fe metal. Our results predict that Earth's early atmosphere contained CH4, H2, H2O, N2, and NH3; similar to that used in Miller-Urey synthesis of organic compounds.Comment: 72 pages, 17 figures, 3 tables; submitted to Icaru

Synthesis of Satellite (MODIS), Aircraft (ICARTT), and Surface (IMPROVE, EPA-AQS, AERONET) Aerosol Observations over Eastern North America to Improve MODIS Aerosol Retrievals and Constrain Surface Aerosol Concentrations and Sources

We use an ensemble of satellite (MODIS), aircraft, and ground-based aerosol observations during the ICARTT field campaign over eastern North America in summer 2004 to (1) examine the consistency between different aerosol measurements, (2) evaluate a new retrieval of aerosol optical depths (AODs) and inferred surface aerosol concentrations $(PM_{2.5})$ from the MODIS satellite instrument, and (3) apply this collective information to improve our understanding of aerosol sources. The GEOS-Chem global chemical transport model (CTM) provides a transfer platform between the different data sets, allowing us to evaluate the consistency between different aerosol parameters observed at different times and locations. We use an improved MODIS AOD retrieval based on locally derived visible surface reflectances and aerosol properties calculated from GEOS-Chem. Use of GEOS-Chem aerosol optical properties in the MODIS retrieval not only results in an improved AOD product but also allows quantitative evaluation of model aerosol mass from the comparison of simulated and observed AODs. The aircraft measurements show narrower aerosol size distributions than those usually assumed in models, and this has important implications for AOD retrievals. Our MODIS AOD retrieval compares well to the ground-based AERONET data (R = 0.84, slope = 1.02), significantly improving on the MODIS c005 operational product. Inference of surface $PM_{2.5}$ from our MODIS AOD retrieval shows good correlation to the EPA-AQS data (R = 0.78) but a high regression slope (slope = 1.48). The high slope is seen in all AOD-inferred $PM_{2.5}$ concentrations (AERONET: slope = 2.04; MODIS c005: slope = 1.51) and could reflect a clear-sky bias in the AOD observations. The ensemble of MODIS, aircraft, and surface data are consistent in pointing to a model overestimate of sulfate in the mid-Atlantic and an underestimate of organic and dust aerosol in the southeastern United States. The sulfate overestimate could reflect an excessive contribution from aqueous-phase production in clouds, while the organic carbon underestimate could possibly be resolved by a new secondary pathway involving dicarbonyls.Engineering and Applied Science

Multilevel Contracts for Trusted Components

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Hepatitis B virus infection as a neglected tropical disease

PCM is funded by a Wellcome Trust Intermediate Fellowship Grant (ref 110110/Z/15/Z).Publisher PDFPeer reviewe